2005, Januray 6-8, Barbados. An interdisciplinary gathering of researchers at the intersection of computer science, statistics, and related areas. Submission deadline: 14 September 2004.
2005, September 14-17, Koblenz, Germany. Theoretical foundations, implementation, development and applications of the mechanization of reasoning with tableaux and related methods.
2004, July 1-4, Banff, Canada. Theoretical modeling and analysis of all aspects of learning and empirical inference. Submission deadline 24 February 2004.